Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
311	For information FCRI[removed]NOTE FOR FINANCE COMMITTEE Annual Report on the Implementation Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2012-05-17 05:01:11 ALGOL 68 Electronic health record Infrastructure NIL Software engineering Programming language theory Computing
312	Atmos. Meas. Tech., 8, 1259–1273, 2015 www.atmos-meas-tech.net[removed]doi:[removed]amt[removed] © Author(s[removed]CC Attribution 3.0 License. Implementation of a GPS-RO data processing system for the Add to Reading List Source URL: www.atmos-meas-tech.net Language: English - Date: 2015-03-16 03:29:06 Weather prediction Statistical forecasting Bayesian statistics Estimation theory Planetary science Radio occultation Data assimilation Global Positioning System Unified Model Atmospheric sciences Technology Meteorology
313	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
314	Voluntary meeting on the coordination of support for the implementation of activities referred to in Decision 1/CP.16, paragraph 70 (REDD-plus) 8 December 2014, Lima, Peru Co-Facilitators’ Summary of Key Messages from Add to Reading List Source URL: unfccc.int Language: English - Date: 2015-01-28 09:30:24 Carbon finance United Nations Framework Convention on Climate Change Organizational theory Climate change Reducing Emissions from Deforestation and Forest Degradation Green Climate Fund Facilitation Facilitator Climate change policy Meetings Environment
315	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2014-11-28 15:51:12 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
316	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:35:47 Assembly languages Programming language implementation IBM Basic assembly language ALGOL 68 Instruction set architectures Assemblers Loop unwinding PDP-8 Computing Software engineering Programming language theory
317	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
318	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-12-27 13:17:17 Applied mathematics Mathematics Cellular automaton Approximate string matching Pattern Compressed pattern matching String searching algorithm Conference on Implementation and Application of Automata Trie Pattern matching Automata theory Theoretical computer science
319	For information FCRI[removed]NOTE FOR FINANCE COMMITTEE Annual Report on the Implementation Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2014-03-13 21:45:25 ALGOL 68 Software engineering Infrastructure Computing Health informatics Programming language theory Electronic health record
320	Interval Arithmetic: from Principles to Implementation T. Hickey, Q. Ju M.H. van Emden Department of Computer Science, Brandeis University, USA Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2012-04-27 04:55:37 Infinity General topology Interval Topology Continuous function Antiderivative Undefined Extended real number line Real number Mathematics Mathematical analysis Order theory

UPDATE